/*
log_write();
*/
var file, timestamp;
file = file_text_open_write("catbox.log");
timestamp = "";
if (is_real(argument0))
{
	if (argument0 > 0)
	{
		timestamp = string("[")+string(argument0)+string("]: ");
	}
}
else
{
	timestamp = argument0;
}
file_text_write_string(file,string(timestamp)+string(argument1));
file_text_writeln(file);
file_text_close(file);
